These tools offer support in the approach of Model Based Testing. This is an approach in which test cases are designed on
the basis of a model of the test object (figure 1 - Model based testing). These test cases are then used for
automated execution on the test object. One of the challenges in this approach is the creation of a formal model in which
the operation of (part of) the application is shown. Creating this model is work for humans. When the model is complete, it
can be read by a tool that handles the creation and execution of test cases. This method is particularly valuable for (a
combination of) complex systems that have an unlimited number of possibilities. For more information on Model Based
Testing, go to www.model-based-testing.org.

Figure 1: Model based testing
|